We consider various concepts associated with the revision theory of truth of Gupta and Belnap. We categorize the notions definable using their theory of circular definitions as those notions universally definable over the next stable set. We give a simplified account of varied revision sequences-as a generalised algorithmic theory of truth. This enables something of a unification with the Kripkean theory of truth using supervaluation schemes.

This volume collects P. M. S. Hacker's papers on Wittgenstein and related themes written over the last decade. Hacker provides comparative studies of a range of topics--including Wittgenstein's philosophy of psychology, conception of grammar, and treatment of intentionality--and defends his own Wittgensteinian conception of philosophy.

P. M. S. Hacker 1. The ‘confusion of psychology’ On the concluding page of what is now called ‘Part II’ of the Investigations, Wittgenstein wrote.

Central to Thomas Sprat's History of the Royal Society was the description and justification of the method adopted and advocated by the Fellows of the Society, for it was thought that it was their method which distinguished them from ancients, dogmatists, sceptics, and contemporary natural philosophers such as Descartes. The Fellows saw themselves as furthering primarily a novel method, rather than a system, of philosophy, and the History gave expression to this corporate self-perception. However, the History's description of their method (...) was not necessarily accurate. Rather, as will be argued below, by a combination of subtle misrepresentation and selective exposition, Sprat portrayed a method which would further the aims of social and ecclesiastical stability and material prosperity, essential for the Royal Society since its continued existence depended upon the creation of a social basis for the institutionalized pursuit of natural philosophy. Some link had to be forged between the activities of the Society and the intellectual and social aspirations of the Restoration. To understand the intent and meaning of Sprat's History and the method there portrayed, we must therefore look to the institutional needs which it fulfilled. (shrink)

We analyse the extent of possible computations following Hogarth ([2004]) conducted in Malament–Hogarth (MH) spacetimes, and Etesi and Németi ([2002]) in the special subclass containing rotating Kerr black holes. Hogarth ([1994]) had shown that any arithmetic statement could be resolved in a suitable MH spacetime. Etesi and Németi ([2002]) had shown that some relations on natural numbers that are neither universal nor co-universal, can be decided in Kerr spacetimes, and had asked specifically as to the extent of computational limits there. (...) The purpose of this note is to address this question, and further show that MH spacetimes can compute far beyond the arithmetic: effectively Borel statements (so hyperarithmetic in second-order number theory, or the structure of analysis) can likewise be resolved: Theorem A. If H is any hyperarithmetic predicate on integers, then there is an MH spacetime in which any query ? n H ? can be computed. In one sense this is best possible, as there is an upper bound to computational ability in any spacetime, which is thus a universal constant of that spacetime. Theorem C. Assuming the (modest and standard) requirement that spacetime manifolds be paracompact and Hausdorff, for any spacetime there will be a countable ordinal upper bound, , on the complexity of questions in the Borel hierarchy computable in it. Introduction 1.1 History and preliminaries Hyperarithmetic Computations in MH Spacetimes 2.1 Generalising SADn regions 2.2 The complexity of questions decidable in Kerr spacetimes An Upper Bound on Computational Complexity for Each Spacetime CiteULike Connotea Del.icio.us What's this? (shrink)

India has produced several drafts of data policies. In this work, they are referred to [1] JBNSCR 2018, [2] DPDPR 2018, [3] NSAI 2018, [4] RAITF 2018, [5] PDPB 2019, [6] PRAI 2021, [7] JPCR 2021, [8] IDAUP 2022, [9] IDABNUP 2022. All of them consider Artificial Intelligence (AI) a social problem solver at the societal level, let alone an incentive for economic growth. However, these policy drafts warn of the social disruptions caused by algorithms and encourage the careful use (...) of computational technologies in various social contexts. Hence, the emerging data society and its implications in India's social contexts demand immense social science attention, which needs to be improved in the policy drafts, primarily because they are creations of industry stakeholders, technocrats, bureaucrats, and experts from tech schools. In the larger social milieu of digital infrastructure emerging, the fundamental question is whether India's national philosophy envisioned in the Indian constitution is reflected in the policy papers. The paper enquires whether the national data policy upholds the core values dispersed through the philosophy of the Indian constitution, which, among other things, is not confined only to inclusion, diversity, rights, liberty, justice and equality. By focusing on constitutional values, the paper seeks to offer a broader and more critical understanding of India's approach to AI policy by bringing together analyses of a wide array of policy documents available in the public realm. (shrink)

We follow [8] in asking when a set of ordinals $X \subseteq \alpha$ is a countable union of sets in K, the core model. We show that, analogously to L, and X closed under the canonical Σ 1 Skolem function for K α can be so decomposed provided K is such that no ω-closed filters are put on its measure sequence, but not otherwise. This proviso holds if there is no inner model of a weak Erdős-type property.

Conditions are stated under which the "argument by analogy" is consistent with the principle of inverse probability. It is contended that the argument by analogy, in conjunction with a crucial test, has a legitimate place in scientific logic. As an example the astrophysical problem of solar granulation is discussed in detail and other examples are mentioned more briefly.

The author clarifies the existential philosophy that is implicit in Kurt Goldstein's philosophy of organism (Goldstein, 1963; 1995). Situated in response to the growing trend that psychological phenomena are reducible to the nervous system, the author argues for the reverse: that the significance of nervous system activity can only be understood by viewing it as background to foreground performances. Like the organization of perception into meaningful figure-- ground Gestalts, the existential modes of embodiment, sociality, temporality, spatiality, and attunement are organized (...) together to accomplish foreground performances. It is only within this context that the activity of the nervous system may be understood as significant or insignificant. Speech is given as an example. The article concludes with a commentary on how the trend of reducing psychological phenomena to neurological phenomena has impaired our understanding of brain disorders and psychological disorders. (shrink)

P.F. Strawson has been a major and influential spokesman for ordinary language philosophy throughout the late twentieth century, studying the relationship between common language and the language of formal logic. This reissue of his collection of early essays, Logico-Linguistic Papers, is published with a brand new introduction by Professor Strawson but, apart from minor corrections to the text, these classic essays remain original and intact. Logico-Linguistic Papers contains Strawson's major essay, 'On Referring', in which he disputed Bertrand Russell's theory of (...) definite descriptions, distinguishing between referring to an entity and asserting its existence. The book contains twelve essays in all, grouped by subject matter. The first five are concerned with the topic of singular reference and predication and the last three are all responses to J.L. Austin's treatment of the topic of truth. Strawson disputes the correspondence theory of truth, maintaining that facts are what statements state. The remaining papers deal with meaning, speech acts, logical truth and Chomsky's views on syntax. (shrink)

Philosophers often distinguish in some way between two senses of life's meaning. Paul Edwards terms these a ‘cosmic’ and ‘terrestrial’ sense. The cosmic sense is that of an overall purpose of which our lives are a part and in terms of which our lives must be understood and our purposes and interests arranged. This overall purpose is often identified with God's divine scheme, but the two need not necessarily be equated. The terrestrial sense of meaning is the meaning people find (...) in their own lives apart from the place of their lives in any ultimate end or context. (shrink)

Richard Taylor was born in Charlotte, Michigan on 5 November 1919. He received his A. B. from the University of illinois in 1941, his M. A. from Oberlin College in 1947, and his Ph. D. from Brown University in 1951. He has been William H. P. Faunce Professor of Philosophy at Brown University, Professor of Philosophy (Graduate Faculties) at Columbia University, and Professor of Philosophy at the University of Rochester. He is the author of about fifty articles and of five (...) philosophical books. This volume consists of essays presented to Richard Taylor on the occa sion of his sixtieth birthday. Some of the contributors have been Taylor'S students; some have been his colleagues; and all have been, and continue to be, his admirers. I have made several attempts to articulate what it is I (I would not presume to speak for anyone else) admire about Richard Taylor: (1) There is a particular 'flavor' to Taylor's philosophical writing and con versation that is wholly delightful. Like any other flavor, it can be tasted and enjoyed and remembered but never adequately described. (If there should be someone who has picked up this book who does not know what I mean, I recommend that he read the chapter on 'God' in Taylor's Metaphysics. ) (2) Taylor is a masterful dialectician. (shrink)

In this article, I examine Luhmann’s, Bunge’s and others’ views on emergence, and argue that Luhmann’s epistemological construal of emergence in terms of Totalausschluss (total exclusion) is both ontologically flawed and detrimental to an appropriate understanding of the distinctive features of social emergence. By contrast, Bunge’s rational emergentism, his CESM model, and Wimsatt’s characterization of emergence as nonaggregativity provide a useful framework to investigate emergence. While researchers in the field of social theory and sociology tend to regard Luhmann as the (...) sole representative of systems theory, the latter has been characterized by its diversity, and the writings of such systems theorists as Mario Bunge deserve more (critical) attention from social researchers than they receive at present. Finally, this article suggests that the perennial debate over methodological individualism and holism in social science may make real progress if such ambiguous terms as reduction and reductionism are elucidated before they are employed. (shrink)

In this paper we discuss two hybrid languages, ℒ and ℒ, and provide them with complete axiomatizations. Both languages combine features of modal and classical logic. Like modal languages, they contain modal operators and have a Kripke semantics. Unlike modal languages, in these systems it is possible to 'label' states by using A and ↓ to bind special state variables.This paper explores the consequences of hybridization for completeness. As we shall show, the challenge is to blend the modal idea of (...) canonical models with the classical idea of witnessed maximal consistent sets. The languages ℒ and ℒ provide us with two extreme examples of the issues involved. In the case of ℒ, we can combine these ideas relatively straightforwardly with the aid of analogs of the Barcan axioms coupled with a modal theory of labeling. In the case of ℒ, on the other hand, although we can still formulate a theory of labeling, the Barcan analogs are not valid. We show how to overcome this difficulty by using COV*, an infinite collection of additional rules of proof which has been used in a number of investigations of extended modal logic. (shrink)

Cicero's philosophical works are now exciting renewed interest, in part because he provides vital evidence of the views of the Greek philosophers of the Hellenistic age, and partly because of the light he casts on the intellectual life of first century Rome. This edition uses the 1997 Clarendon text by the acclaimed translator P.G. Walsh.

In lieu of an abstract, here is a brief excerpt of the content:Burma’s Healthcare Under Fire: My Experience as an Exiled Medical ProfessionalP. P. KyawI used to work as a medical doctor in a less developed state than many big cities in Burma1 that experienced prolonged civil wars and current similar atrocities decades before the urban areas of the country experienced them. Before everything started, I was responsible for the medical management of the most vulnerable communities and had been struggling (...) with pandemic-related medical activities. Those were the happiest years of my life. I was with one of the best international organizations, where every effort I made was directly delivered to the patients with no unnecessary paperwork. The system was efficient, my colleagues were supportive, and I had a good work-life balance. I supported my family and whoever needed temporary financial support, played music weekly, met good friends who I hung out with every weekend, and [End Page 164] found hobbies like gardening and crocheting. I was content and happy. I even postponed my plans to get registered as a doctor in the Western world.Before moving to this beautiful ethnic state in 2019, I previously worked as a government medical doctor in Yangon, the capital. As much as I loved working in those civilian hospitals, I could not support myself with a monthly pay of $100-$150 USD. It was a hard decision to leave the service because it meant I could not pursue the medical specialty that I had always longed for and had to leave like-minded supportive colleagues. In Myanmar, unless you are a civil servant, you cannot pursue further clinical specialties. However, after leaving the government’s service to work in humanitarian medical assistance in hard-to-reach areas of Burma, I learned that life is still beautiful outside my comfort zone, until February 2021 when the coup began. Democratically elected members of the country’s ruling party were overthrown by the military, which then bestowed power in a military junta.I expected the election prior to the coup in November 2020 to be an uphill battle for Burma, but nothing more. I was still in denial when I first heard the news from one of the town’s NGO staff. The person had to travel on a motorbike to inform everyone that the junta had staged the coup. No telephone or internet was working at that time. My colleagues and I cried in our office, saying, “We are so young, and the future is still ahead. I don’t think this is going to last long. Maybe it will be over in a few days or, at most, a few weeks.” Once the peaceful protests started nationwide, my friends and I provided medical cover for the protesters, initially for minor medical problems such as low sugar, low blood pressure, injuries from accidental minor slips and falls, etc. Never in my life had I imagined that I would be taking care of bullet wounds and people injured by live rounds. While learning about gunshot wounds in forensic medicine, I thought, “Oh, this is not going to be very useful because Burma is not America, and I am not going there.” Then suddenly, it became too real and more useful than I would’ve liked it to be.I always think back to one especially bloody day when many people in the town were shot with live rounds. We assisted many patients. Usually, we would go around with the protest groups until they were over in the late afternoon. The protesters were always peaceful. There were no riots, no harmful acts, or vandalism. Only when the protesters were cruelly dispersed with tear gas, high-pressure pumps, rubber bullets, and live rounds (to the head) did they decide to defend themselves while still making their voices heard. The only defenses people had to counteract the live rounds were things like metal covers, firecrackers, and slingshots.One afternoon in March 2021, my team and I took an early break for lunch—unaware that some people would lose their lives that afternoon. We followed the local protests through Facebook Live while having lunch and started to hear firecracker sounds. A few seconds later, we knew... (shrink)

P. F. Strawson; II*—Scruton and Wright on Anti-Realism Etc., Proceedings of the Aristotelian Society, Volume 77, Issue 1, 1 June 1977, Pages 15–22, https://doi.

RésuméCette brève étude tente de montrer comment la théorie peircienne de ľindividuation donne naissance à la première analyse moderne du nom propre. A travers une triple caractérisation, à la fois sémanique , pragmatique et sémiotique du nom propre, Peirce fournit en effet la première description véritablement éclairante des conditions sous lesquelles devient possible la désignation ?individus dans le langage, nous offrant un exemple particulièrement suggestif de ce qu'on peut concevoir comme universaux de langage.SummaryThis brief study is an attempt to show (...) how Peirce's theory of individuation gives rise to the first modern analysis of the proper noun. Through a triple characterization – semantic , pragmatic and semiotic – of the proper noun, Peirce provides the first truly enlightening description of the conditions in which it becomes possible to designate individuals in language, which gives us a particularly suggestive example of what can be understood as universals of language. (shrink)

The problem of the logic of understanding history is discussed. We propose a model of understanding history as a conversation, which the person thinking about history has with interlocutors (sources) of previous epochs. The epoch is interpreted as a special way of problematizing human's understanding of him (her) self and the world around. At the same time, three gifts — attention, recognition and name — underlie the connection of the historian in conversation with interlocutors (sources) from other eras. They are (...) not given in advance but are results of a struggle for the recognition. In choosing his (her) interlocutor (source), the historian chooses him (her) self. By giving this interlocutor (the source) the opportunity to be heard, the historian, at the same time, receives a gift from the source — the opportunity to express what would otherwise remain unspoken in the historian's own mind. The logic of conversation, designated as transduction, is not the connection through the identification of the beginning and the end of the discourse, which is appropriate and necessary within the speech of each of the conversationalists, but the connection of the beginnings of these discordant discourses among themselves. (shrink)